Definitions | Top, null(as), t.2, if b then t else f fi , tt, tag(k), b, outl(x), t.1, SQType(T), {T}, lnk(k), rcv(l,tg), hd(l), True, T, x L. P(x),  x. t(x), , P & Q, A c B, t T, es-first-from(es;e;l;tg), P  Q, IdLnk, x:A. B(x), False, A, P  Q, x:A. B(x), (e sends on l with tag tg), SqStable(P), P   Q, x(s), lnk(e), isrcv(e), tag(e) |